GHOSH, INDRADEEP: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

KLOVER: Automatic Test Generation for C and C++ Programs, Using Symbolic Execution

Yoshida, Hiroaki, Li, Guodong, Kamiya, Takuki, Ghosh, Indradeep, Rajan, Sreeranga, Tokumoto, Susumu, Munakata, Kazuki, Uehara, Tadahiro

Journal:

Year:

2017

Language:

english

File:

PDF, 972 KB

english, 2017

2

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - FSX: a tool for fine-grained incremental unit test generation for C/C++ programs

Yoshida, Hiroaki, Tokumoto, Susumu, Prasad, Mukul R., Ghosh, Indradeep, Uehara, Tadahiro

Year:

2016

Language:

english

File:

PDF, 806 KB

english, 2016

3

[ACM Press the 25th International Symposium - Saarbrücken, Germany (2016.07.18-2016.07.20)] Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 - FSX: fine-grained incremental unit test generation for C/C++ programs

Yoshida, Hiroaki, Tokumoto, Susumu, Prasad, Mukul R., Ghosh, Indradeep, Uehara, Tadahiro

Year:

2016

Language:

english

File:

PDF, 315 KB

english, 2016

4

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - WEAVE: WEb Applications Validation Environment

Rajan, Sreeranga P., Tkachuk, Oksana, Prasad, Mukul, Ghosh, Indradeep, Goel, Nitin, Tadahiro Uehara,

Year:

2009

Language:

english

File:

PDF, 356 KB

english, 2009

5

Imperfect Asset Substitutability and Current Account Dynamics

Indradeep Ghosh

Journal:

Review of Development Economics

Year:

2011

Language:

english

File:

PDF, 719 KB

english, 2011

6

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - JST: An automatic test generation tool for industrial Java applications with strings

Ghosh, Indradeep, Shafiei, Nastaran, Li, Guodong, Chiang, Wei-Fan

Year:

2013

Language:

english

File:

PDF, 560 KB

english, 2013

7

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Generating Succinct Test Cases Using Don't Care Analysis

Nguyen, Cuong, Yoshida, Hiroaki, Prasad, Mukul, Ghosh, Indradeep, Sen, Koushik

Year:

2015

Language:

english

File:

PDF, 234 KB

english, 2015

8

[ACM Press the 2003 conference - Kitakyushu, Japan (2003.01.21-2003.01.24)] Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC - Event-driven observability enhanced coverage analysis of C programs for functional validation

Fallah, Farzan, Ghosh, Indradeep, Fujita, Masahiro

Year:

2003

File:

PDF, 239 KB

2003

9

[ACM Press the 17th ACM SIGPLAN symposium - New Orleans, Louisiana, USA (2012.02.25-2012.02.29)] Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming - PPoPP '12 - GKLEE

Li, Guodong, Li, Peng, Sawaya, Geof, Gopalakrishnan, Ganesh, Ghosh, Indradeep, Rajan, Sreeranga P.

Year:

2012

Language:

english

File:

PDF, 772 KB

english, 2012

10

[ASME 25th International Conference on Offshore Mechanics and Arctic Engineering - Hamburg, Germany (June 4–9, 2006)] Volume 4: Terry Jones Pipeline Technology; Ocean Space Utilization; CFD and VIV Symposium - Unit-Tests Based Validation and Verification of Numerical Procedure to Predict Vortex-Induced Motion

Schowalter, David, Ghosh, Indradeep, Kim, Sung-Eun, Haidari, Ahmad

Year:

2006

Language:

english

File:

PDF, 552 KB

english, 2006

11

VLSI IMPLEMENTATION OF AN EFFICIENT ASIC ARCHITECTURE FOR REAL-TIME ROTATION OF DIGITAL IMAGES

GHOSH, INDRADEEP, MAJUMDAR, BANDANA

Journal:

International Journal of Pattern Recognition and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 900 KB

english, 1995

12

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - A BIST scheme for RTL controller-data paths based on symbolic testability analysis

Ghosh, Indradeep, Jha, Niraj K., Bhawmik, Sudipta

Year:

1998

Language:

english

File:

PDF, 131 KB

english, 1998

13

High-level test synthesis: a survey

Indradeep Ghosh, Niraj K Jha

Journal:

Integration, the VLSI Journal

Year:

1998

Language:

english

File:

PDF, 310 KB

english, 1998

14

Controller Resynthesis for Testability Enhancement of RTL Controller/Data Path Circuits

Srivaths Ravi, Indradeep Ghosh, Rabindra K. Roy, Sujit Dey

Journal:

Journal of Electronic Testing

Year:

1998

Language:

english

File:

PDF, 222 KB

english, 1998

15

Towards a dialogical undergraduate introductory economics course

Ghosh, Indradeep, Wolcott, Benjamin

Journal:

International Journal of Pluralism and Economics Education

Year:

2014

Language:

english

File:

PDF, 199 KB

english, 2014

16

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Hierarchical test generation and design for testability of ASPPs and ASIPs

Ghosh, Indradeep, Raghunathan, Anand, Jha, Niraj K.

Year:

1997

Language:

english

File:

PDF, 141 KB

english, 1997

17

The Relation between Trade and FDI in Developing Countries -- A Panel Data Approach

Ghosh, Indradeep

Journal:

Global Economy Journal

Year:

2007

Language:

english

File:

PDF, 361 KB

english, 2007

18

GKLEE

Li, Guodong, Li, Peng, Sawaya, Geof, Gopalakrishnan, Ganesh, Ghosh, Indradeep, Rajan, Sreeranga P.

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 772 KB

english, 2012

19

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - SymJS: automatic symbolic testing of JavaScript web applications

Li, Guodong, Andreasen, Esben, Ghosh, Indradeep

Year:

2014

Language:

english

File:

PDF, 570 KB

english, 2014

20

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - A fast and low cost testing technique for core-based system-on-chip

Ghosh, Indradeep, Dey, Sujit, Jha, Niraj K.

Year:

1998

Language:

english

File:

PDF, 133 KB

english, 1998

21

Banking on the Present: The Ontological Rhetoric of Neo-Classical Economics and Its Relation to the 2008 Financial Crisis

Hanan, Joshua S., Ghosh, Indradeep, Brooks, Kaleb W.

Journal:

Quarterly Journal of Speech

Year:

2014

Language:

english

File:

PDF, 213 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски